import python
import Lib

from ControlFlowNode f, TrackableState state
where
    (
        callTo(f, "exacerbate") and state = "frobnicated"
        or
        callTo(f, "frobnicate") and state = "initialized"
    ) and
    state.mayNotApplyTo(f)
select f.getLocation().toString(), f.toString(), state.toString()
